Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
551	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2014-05-16 12:08:08 Logic in computer science Mathematical logic Theoretical computer science Static program analysis Termination analysis Automated theorem proving Prolog Unification Rewriting Algorithm Recursion ECLiPSe
552	Distributed Computation of the Mode Fabian Kuhn Institute of Theoretical Computer Science ETH Zurich Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2015-05-18 12:16:08 Search algorithms Hashing Selection algorithm Hash function Randomized algorithm A* search algorithm Cryptographic hash function
553	Modelling and Analysis of Communications Services Ken Turner Computing Science and Mathematics www.cs.stir.ac.uk/~kjt/research/cress.html Add to Reading List Source URL: www.cs.stir.ac.uk Language: English - Date: 2010-06-14 06:24:22 Formal methods Systems engineering Theoretical computer science Formal verification Logic in computer science Specification Object Process Methodology Cress Verification Diagram
554	Spatially Smooth Optical Flow Goal: Implement the SteadyFlow optical flow algorithm Description: Many people record and share videos using their phones or Add to Reading List Source URL: www.cvg.ethz.ch Language: English - Date: 2016-02-16 10:06:26 Digital photography Theoretical computer science Optical flow Image stabilization OpenCV Mirrorless interchangeable-lens camera Digital single-lens reflex camera Flow Algorithm
555	ProMoBox in Practice : A Case Study on the GISMO Domain-Specific Modelling Language Romuald Deshayes1 , Bart Meyers2 , Tom Mens1 , and Hans Vangheluwe2,3 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-09-10 09:14:12 Scientific modeling Unified Modeling Language Model checkers Systems engineering Theoretical computer science Metamodeling Model checking Modeling language Domain-specific modeling Linear temporal logic SPIN model checker Domain-specific language
556	c 2007 by Dafna Shahaf. All rights reserved. LOGICAL FILTERING AND LEARNING IN PARTIALLY OBSERVABLE WORLDS BY Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:01 Algorithm Mathematical logic Theoretical computer science Program optimization
557	Microsoft Word - cp1597_01_SegmentationAlgorithmParameters.docx Add to Reading List Source URL: dicom.nema.org Language: English - Date: 2016-06-14 13:06:54 Algorithm Mathematical logic Theoretical computer science Image segmentation TeX
558	LA-URTheory Component of the Quantum Information Processing Add to Reading List Source URL: qist.lanl.gov Language: English - Date: 2004-04-06 17:14:00 Quantum information science Quantum computing Quantum cryptography Emerging technologies Theoretical computer science Quantum complexity theory Quantum information Quantum algorithm BQP Quantum entanglement Quantum key distribution Umesh Vazirani
559	ESTIMATES FOR SPECTRAL DENSITY FUNCTIONS OF MATRICES OVER C[Zd ] arXiv:1310.8564v2 [math.NT] 29 Oct 2014 ¨ Add to Reading List Source URL: 131.220.77.52 Language: English - Date: 2014-10-30 03:27:38 Spectral theory Computability theory Lambda calculus Theoretical computer science
560	Partial Evaluation for Program Analysis Daniel Damian Progress Report (revised version) Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Logic in computer science Programming language implementation Compiler optimizations Theoretical computer science Programming language semantics Compiler Semantics Denotational semantics Abstract interpretation Static program analysis Programming language Control flow analysis

UPDATE